On the Synthesis of Discrete Controllers
نویسندگان
چکیده
This paper presents algorithms for the automatic synthesis of real-time controllers by nding a winning strategy for certain games deened by the timed-automata of Alur and Dill. In such games, the outcome depends on the players' actions as well as on their timing. We believe that these results will pave the way for the application of program synthesis techniques to the construction of real-time embedded systems from their speciications.
منابع مشابه
Partial Observation in Distributed Supervisory Control of Discrete-Event Systems
Distributed supervisory control is a method to synthesize local controllers in discrete-eventsystems with a systematic observation of the plant. Some works were reported on extending this methodby which local controllers are constructed so that observation properties are preserved from monolithic todistributed supervisory control, in an up-down approach. In this paper, we find circumstances in ...
متن کاملMULTICRITERION SYNTHESIS OF INTELLIGENT CONTROL SYSTEMS OF GENERATING UNIT OF NUCLEAR POWER STATION
The paper is devoted to solution of some problems in nuclear power station generating unit intellectual control systems using genetic algorithms on the basis of control system model development, optimizations methods of their direct quality indices and improved integral quadratic estimates. Some mathematical vector models were obtained for control system multicriterion quality indices with due ...
متن کاملConstrained Controller Design for Real-time Delay Recovery in Metro Systems
This study is concerned with the real-time delay recovery problem in metro loop lines. Metro is the backbone of public transportation system in large cities. A discrete event model for traffic system of metro loop lines is derived and presented. Two effective automatic controllers, linear quadratic regulator (LQR) and model predictive controller (MPC), are used to recover train delays. A newly-...
متن کاملDesign of Nonlinear Robust Controller and Observer for Control of a Flexible Spacecraft
Two robust nonlinear controllers along with a nonlinear observer have been developed in this study to control a 1D nonlinear flexible spacecraft. The first controller is based on dynamic inversion, while the second one is composed of dynamic inversion and µ-synthesis controllers. The extension of dynamic inversion approach to flexible spacecraft is impeded by the non-minimum phase characteristi...
متن کاملPetri Nets and Fuzzy Sets in Hybrid Controllers Synthesis: The Discrete-Event Aspect
This paper presents a design approach intended for the modeling and synthesis of discrete-event modules of hybrid controllers by combining a model of computation and a soft computing synthesis approach. The model of computation is based on coloured Petri nets (CPNs) and the soft computing method uses fuzzy logic. The design approach converts Petri net models into their equivalent fuzzy sets for...
متن کاملDiscrete-Time Nonlinear Controller Synthesis by Input/Output Linearization
This work concerns the synthesis of discrete-time nonlinear controllers for nonlinear processes that make the closed-loop system linear in an input/output sense. The synthesis of state feedback controllers is studied first, followed b.y the synthesis of dynamic output feedback controllers. Both problems are solved within the globally linearizing control ( GLC) framework. Precise theoretical con...
متن کامل